Constraint-oriented formal modelling of OO-systems
نویسندگان
چکیده
In addition to static structures, the Unified Modelling Language UML supports the specification of dynamic properties by means of state charts and interaction diagrams. Each diagram, however, only reflects partial aspects of the system. A common behavior model is lacking while it is necessary to relate the diagrams with each other and to enable the verification of dynamic system properties. The formal process specification technique cTLA provides for modular descriptions of behavior constraints and its process composition operation corresponds to superposition. Therefore, a UML diagram can be represented by a cTLA description which is as well modular as it can be combined with the descriptions of other diagrams.
منابع مشابه
A Logic Framework for a Semantics of Object-Oriented Data Modeling
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use an extended OO model, NORM, involving entities, lexical types, constraints and message passing. We illustrate how essential properties of object orientation such as information hiding, encapsulation, inheritance and b...
متن کاملTowards a High-Level Multimedia Modelling & Synchronisation Environment Based on Constraint Programming
The problem of modelling and synchronisation of multimedia objects is addressed in the declarative logic programming setting and in particular within the framework of (objectoriented) timed concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanis...
متن کاملTowards a General Framework for Modelling Roles
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not actually able to give a uniform definition of roles, there exist several approaches that model roles in many different (or even opposite) ways. In this draft we start to define a meta-model for roles. Our aim is to b...
متن کاملObject-Oriented Analysis from Textual Specifications
One of the main limitations attributed to Object Orientation (OO) by software engineers is the immaturity of the Object-Oriented Analysis (OOA) process. This article aims to propose a method to formalize this process. This method is based on the use of linguistic information from informal specifications. This information is composed of words which, in turn, denote elements of an OO modelling, s...
متن کاملModeling Object Oriented Systems via Controlled English Verbalization of Description Logic
The need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one...
متن کامل